Predict, then simplify

Smart "Predict, then Optimize"

Many real-world analytics problems involve two significant challenges: prediction and optimization. Due to the typically complex nature of each challenge, the standard paradigm is to predict, then optimize. By and large, machine learning tools are intended to minimize prediction error and do not account for how the predictions will be used in a downstream optimization problem. In contrast, we p...

Improved Twitter Sentiment Prediction through Cluster-then-Predict Model

Over the past decade humans have experienced exponential growth in the use of online resources, in particular social media and microblogging websites such as Facebook, Twitter, YouTube and also mobile applications such as WhatsApp, Line, etc. Many companies have identified these resources as a rich mine of marketing knowledge. This knowledge provides valuable feedback which allows them to furth...

Capturing Multivariate Spatial Dependence: Model, Estimate, and then Predict

Integrating Simplify into Jive

In cooperation with University of Kaiserslautern, the Software Component Technology Group works on the Java Interactive Verification Environment, Jive. Jive allows one to interactively prove that JML annotated Java programs fulfill their specifications. Currently, the interactive theorem prover Isabelle is used for specification and verification of general properties that are not directly relat...

Simplify Baldrige For Healthcare

s the popularity of the Malcolm Baldrige National Quality Award continues to grow, the healthcare industry has become increasingly interested in its benefits. The Malcolm Baldrige Model for Performance Excellence has now been widely emulated at local, national and international levels as a result of its success in creating strategic and operational performance improvement over the past 16 years...